Reasoning in simple type theory - festschrift in honour of Peter B. Andrews on this 70th birthday
- Författare
- P. B. (Peter Bruce) Andrews Christoph. Benzmüller
- (Edited by Christoph Benzmüller ... et al.., Includes bibliographical references.)
- Genre
- Festskrifter, Festschrift
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| College Publications | 2008 | England, London | 467 sidor. ill. 24 cm. | 978-1-904987-70-3 |